Compound sentences and syntaxic predicative contructions
نویسندگان
چکیده
منابع مشابه
Negating compound sentences
How do reasoners negate compound sentences, such as conjunctions of the form A and B and disjunctions of the form A or B or both? A theory based on mental models posits that reasoners negate each clause independently, and enumerate the various possibilities consistent with the negation. It makes a novel prediction: negations of conjunctions should be more difficult to comprehend than negations ...
متن کاملNeural correlates of processing sentences and compound words in Chinese
Sentence reading involves multiple linguistic operations including processing of lexical and compositional semantics, and determining structural and grammatical relationships among words. Previous studies on Indo-European languages have associated left anterior temporal lobe (aTL) and left interior frontal gyrus (IFG) with reading sentences compared to reading unstructured word lists. To examin...
متن کاملPredicative Logic and Formal Arithmetic
After a summary of earlier work it is shown that elementary or Kalmar arithmetic can be interpreted within the system of Russell’s Principia Mathematica with the axiom of infinity but without the axiom of reducibility. 1 Historical introduction After discovering the inconsistency in Frege’s Grundgesetze der Arithmetik, Russell proposed two changes: first, dropping the assumption that to every h...
متن کاملComments on Predicative Logic
The syntax of intuitionistic propositional second-order logic PSOLi consists of a set of propositional constants P , Q, R, etc, a denumerable set of propositional variables F , G, H, etc, together with the primitive logical signs of the conditional and the universal propositional quantifier, and ponctuation signs (parenthesis). The formulas of PSOLi are the smallest class of expressions of the ...
متن کاملPredicative Algebraic Set Theory
In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Challenges of Science
سال: 2020
ISSN: 2707-9481
DOI: 10.31643/2020.033